Modeling the Static Software Architecture in AADL

Abstraction and encapsulation are two principles that have been introduced to manage the complexity ofion and encapsulation are two principles that have been introduced to manage the complexity of software systems through modular design. They have manifested themselves in the concept of classes and methods to support data abstraction, in the concept of package to support organization of the design space, and the concept of component to support structuring the system architecture. AADL has been developed as architecture modeling language for embedded software systems. As such it focuses on modeling the runtime architecture, i.e., the dynamics of the operational system and its non-functional quality attributes, such as performance and safety. In this note we discuss how AADL supports modular design of software in a hierarchical fashion, its organization into libraries, and constraints on the architecture structure.